-
1 основанный на логике
Programming: logic-drivenУниверсальный русско-английский словарь > основанный на логике
-
2 язык (программирования), основанный на логике предикатов
Information technology: predicate logic language, predicate logic-based languageУниверсальный русско-английский словарь > язык (программирования), основанный на логике предикатов
-
3 язык основанный на логике предикатов
Mechanics: predicate logic languageУниверсальный русско-английский словарь > язык основанный на логике предикатов
-
4 язык программирования , основанный на логике предикатов
Information technology: predicate logic language, predicate logic-based languageУниверсальный русско-английский словарь > язык программирования , основанный на логике предикатов
-
5 язык, основанный на логике предикатов
1) Automation: predicate logic language (как функций нескольких переменных)Универсальный русско-английский словарь > язык, основанный на логике предикатов
-
6 язык , основанный на логике предикатов
Information technology: (программирования) predicate logic language, (программирования) predicate logic-based languageУниверсальный русско-английский словарь > язык , основанный на логике предикатов
-
7 язык основанный на логике предикатов
Русско-английский большой базовый словарь > язык основанный на логике предикатов
-
8 predicate logic language
1) Вычислительная техника: язык (программирования), основанный на логике предикатов, язык программирования, основанный на логике предикатов2) Механика: язык основанный на логике предикатов3) Автоматика: язык, основанный на логике предикатов (как функций нескольких переменных)Универсальный англо-русский словарь > predicate logic language
-
9 predicate logic-based language
Вычислительная техника: язык (программирования), основанный на логике предикатов, язык программирования, основанный на логике предикатовУниверсальный англо-русский словарь > predicate logic-based language
-
10 predicate logic language
Большой англо-русский и русско-английский словарь > predicate logic language
-
11 predicate logic-based language
Большой англо-русский и русско-английский словарь > predicate logic-based language
-
12 rational
прил.1) общ. разумный, рациональный, целесообразный (основанный на логике, а не эмоциях или традициях)Syn:intellectual 2.Ant:See:2)а) общ. разумный, мыслительный, мыслящийrational creature [being\] — разумное существо
б) общ. осознанный (о действии, которое осуществляется специально, а не случайно, бессознательно и т. п.)See:3) мет. рациональный (в общественных науках: характеристика поведения, при котором выбор делается на основе всей имеющейся информации, с учетом всех возможных альтернатив)See: -
13 logic-driven
Программирование: основанный на логике -
14 predicate logic language
Англо-русский словарь по машиностроению > predicate logic language
-
15 predicate logic language
язык, основанный на логике предикатов ( как функций нескольких переменных)English-Russian dictionary of mechanical engineering and automation > predicate logic language
-
16 predicate logic(-based) language
язык (программирования), основанный на логике предикатовEnglish-Russian dictionary of computer science and programming > predicate logic(-based) language
-
17 predicate logic(-based) language
язык (программирования), основанный на логике предикатовEnglish-Russian dictionary of computer science and programming > predicate logic(-based) language
-
18 predicate logic language
язык, основанный на логике предикатов
Англо-русский словарь по робототехнике > predicate logic language
-
19 predicate logic language
descriptive language — дексриптивный язык; описательный язык
-
20 predicate logic language
English-Russian big polytechnic dictionary > predicate logic language
- 1
- 2
См. также в других словарях:
Конструктивный прием — – вид семантических отношений между основными смысловыми элементами логического единства, выступающий как средство стилистической выразительности и соответствующий определенной структурно смысловой целостности дискурса. Конструктивные приемы, так … Стилистический энциклопедический словарь русского языка
Психологический портрет серийного убийцы (США) — ППП является действенным средством идентификации преступников, совершивших серию убийств. Так, в структуре ФБР действует Аналитическое подразделение по уголовным расследованиям, специалисты которого составляют ППП. Каждый из сотрудников этого… … Энциклопедия современной юридической психологии
исчисление — основанный на четких правилах формальный аппарат оперирования со знаниями определенного вида, позволяющий дать точное описание некоторого класса задач, а для отдельных подклассов этого класса и алгоритм решения. В математической логике понятие об … Словарь терминов логики
Университет — (от лат. universitas совокупность). В настоящее время с понятием У. соединяют представление о высшем учебном заведении, которое, имея целью свободное преподавание и развитие всех отраслей науки (universitas litterarum), независимо от их… … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
ЛОГИЧЕСКИЙ — (греч. logikos, от logos рассуждение). Согласный с логикою или основанный на законах мышления. Словарь иностранных слов, вошедших в состав русского языка. Чудинов А.Н., 1910. ЛОГИЧЕСКИЙ греч. logikos, от logos, рассуждение. Согласный или… … Словарь иностранных слов русского языка
ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… … Философская энциклопедия
ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… … Философская энциклопедия
ДИАЛЕКТИКА — (от греч. dialektike (techne) искусство вести беседу, спор) филос. теория, утверждающая внутреннюю противоречивость всего существующего и мыслимого и считающая эту противоречивость основным или даже единственным источником всякого движения и… … Философская энциклопедия
НАУКА — особый вид познавательной деятельности, направленный на выработку объективных, системно организованных и обоснованных знаний о мире. Взаимодействует с др. видами познавательной деятельности: обыденным, художественным, религиозным, мифологическим … Философская энциклопедия
ТОЖДЕСТВО — понятие, выражающее предельный случай равенства объектов, когда не только все родовидовые, но и все индивидуальные их свойства совпадают. Совпадение родовидовых свойств (сходство), вообще говоря, не ограничивает числа приравниваемых… … Философская энциклопедия
УНИВЕРСАЛИИ — (от лат. universalis общий) общие понятия. В филос. проблеме онтологического и гносеологического статуса У. ставится вопрос о том, что такое реальное бытие, каким образом существует идеальное, как возможно рациональное понятийное познание, как… … Философская энциклопедия